function set_document_title(title){
    var str = title + " | HaloDunia";
    document.title = str;
}